← All Domains

particle physics, cosmology

1 papers · 1 Lean-verified

Formal Verification of Sakharov's Baryogenesis Conditions: Why Matter Exists

We present a formally verified proof of Sakharov's three conditions for baryogenesis and their quantitative consequences.

Verified 15 claims 2,696 words